symbolic programme

符号化程序